jmle: A Tool for Executing JML Specifications Via Constraint Programming
Identifieur interne : 001373 ( Main/Exploration ); précédent : 001372; suivant : 001374jmle: A Tool for Executing JML Specifications Via Constraint Programming
Auteurs : Ben Krause [États-Unis] ; Tim Wahls [États-Unis]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2007.
Abstract
Abstract: Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Language (JML) by translating them to constraint programs, which are then executed via the Java Constraint Kit (JCK). Our system can execute specifications written at a high level of abstraction, and the generated constraint programs are Java implementations of the translated specifications. Hence, they can be called directly from ordinary Java code.
Url:
DOI: 10.1007/978-3-540-70952-7_19
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 002242
- to stream Istex, to step Curation: 001E05
- to stream Istex, to step Checkpoint: 000D73
- to stream Main, to step Merge: 001390
- to stream Main, to step Curation: 001373
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">jmle: A Tool for Executing JML Specifications Via Constraint Programming</title><author><name sortKey="Krause, Ben" sort="Krause, Ben" uniqKey="Krause B" first="Ben" last="Krause">Ben Krause</name></author><author><name sortKey="Wahls, Tim" sort="Wahls, Tim" uniqKey="Wahls T" first="Tim" last="Wahls">Tim Wahls</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:4EC82D26EC64058F2A032A4924961D741F74326A</idno><date when="2007" year="2007">2007</date><idno type="doi">10.1007/978-3-540-70952-7_19</idno><idno type="url">https://api.istex.fr/document/4EC82D26EC64058F2A032A4924961D741F74326A/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">002242</idno><idno type="wicri:Area/Istex/Curation">001E05</idno><idno type="wicri:Area/Istex/Checkpoint">000D73</idno><idno type="wicri:doubleKey">0302-9743:2007:Krause B:jmle:a:tool</idno><idno type="wicri:Area/Main/Merge">001390</idno><idno type="wicri:Area/Main/Curation">001373</idno><idno type="wicri:Area/Main/Exploration">001373</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">jmle: A Tool for Executing JML Specifications Via Constraint Programming</title><author><name sortKey="Krause, Ben" sort="Krause, Ben" uniqKey="Krause B" first="Ben" last="Krause">Ben Krause</name><affiliation wicri:level="2"><country xml:lang="fr">États-Unis</country><wicri:regionArea>Department of Mathematics and Computer Science, Dickinson College, P.O. Box 1773, Carlisle, PA 17013</wicri:regionArea><placeName><region type="state">Pennsylvanie</region></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">États-Unis</country></affiliation></author><author><name sortKey="Wahls, Tim" sort="Wahls, Tim" uniqKey="Wahls T" first="Tim" last="Wahls">Tim Wahls</name><affiliation wicri:level="2"><country xml:lang="fr">États-Unis</country><wicri:regionArea>Department of Mathematics and Computer Science, Dickinson College, P.O. Box 1773, Carlisle, PA 17013</wicri:regionArea><placeName><region type="state">Pennsylvanie</region></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">États-Unis</country></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2007</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno></series><idno type="istex">4EC82D26EC64058F2A032A4924961D741F74326A</idno><idno type="DOI">10.1007/978-3-540-70952-7_19</idno><idno type="ChapterID">Chap19</idno><idno type="ChapterID">19</idno></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Language (JML) by translating them to constraint programs, which are then executed via the Java Constraint Kit (JCK). Our system can execute specifications written at a high level of abstraction, and the generated constraint programs are Java implementations of the translated specifications. Hence, they can be called directly from ordinary Java code.</div></front></TEI><affiliations><list><country><li>États-Unis</li></country><region><li>Pennsylvanie</li></region></list><tree><country name="États-Unis"><region name="Pennsylvanie"><name sortKey="Krause, Ben" sort="Krause, Ben" uniqKey="Krause B" first="Ben" last="Krause">Ben Krause</name></region><name sortKey="Krause, Ben" sort="Krause, Ben" uniqKey="Krause B" first="Ben" last="Krause">Ben Krause</name><name sortKey="Wahls, Tim" sort="Wahls, Tim" uniqKey="Wahls T" first="Tim" last="Wahls">Tim Wahls</name><name sortKey="Wahls, Tim" sort="Wahls, Tim" uniqKey="Wahls T" first="Tim" last="Wahls">Tim Wahls</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/MozartV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001373 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001373 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Musique
|area= MozartV1
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:4EC82D26EC64058F2A032A4924961D741F74326A
|texte= jmle: A Tool for Executing JML Specifications Via Constraint Programming
}}
| This area was generated with Dilib version V0.6.20. |  |